In mathematics, physics, and engineering, a Euclidean vector or simply a vector (sometimes called a geometric vector or spatial vector) is a geometric object that has magnitude (or Euclidean norm) and direction. Euclidean vectors can be added and scaled to form a vector space. A vector quantity is a vector-valued physical quantity, including units of measurement and possibly a support, formulated as a directed line segment. A vector is frequently depicted graphically as an arrow connecting an initial point A with a terminal point B,; and denoted by
A vector is what is needed to "carry" the point A to the point B; the Latin word vector means 'carrier'.Latin: vectus, perfect participle of vehere, 'to carry', veho = 'I carry'. For historical development of the word vector, see and It was first used by 18th century astronomers investigating planetary revolution around the Sun.
Vectors play an important role in physics: the velocity and acceleration of a moving object and the acting on it can all be described with vectors. Many other physical quantities can be usefully thought of as vectors. Although most of them do not represent distances (except, for example, position or displacement), their magnitude and direction can still be represented by the length and direction of an arrow. The mathematical representation of a physical vector depends on the coordinate system used to describe it. Other vector-like objects that describe physical quantities and transform in a similar way under changes of the coordinate system include and .
Several other mathematicians developed vector-like systems in the middle of the nineteenth century, including Augustin Cauchy, Hermann Grassmann, August Möbius, Comte de Saint-Venant, and Matthew O'Brien. Grassmann's 1840 work Theorie der Ebbe und Flut (Theory of the Ebb and Flow) was the first system of spatial analysis that is similar to today's system, and had ideas corresponding to the cross product, scalar product and vector differentiation. Grassmann's work was largely neglected until the 1870s. Peter Guthrie Tait carried the quaternion standard after Hamilton. His 1867 Elementary Treatise of Quaternions included extensive treatment of the nabla or del ∇. In 1878, Elements of Dynamic was published by William Kingdon Clifford. Clifford simplified the quaternion study by isolating the dot product and cross product of two vectors from the complete quaternion product. This approach made vector calculations available to engineers—and others working in three dimensions and skeptical of the fourth.
Josiah Willard Gibbs, who was exposed to quaternions through James Clerk Maxwell's Treatise on Electricity and Magnetism, separated off their vector part for independent treatment. The first half of Gibbs's Elements of Vector Analysis, published in 1881, presents what is essentially the modern system of vector analysis. In 1901, Edwin Bidwell Wilson published Vector Analysis, adapted from Gibbs's lectures, which banished any mention of quaternions in the development of vector calculus.
A Euclidean vector may possess a definite initial point and terminal point; such a condition may be emphasized calling the result a bound vector.Formerly known as located vector. See . When only the magnitude and direction of the vector matter, and the particular initial or terminal points are of no importance, the vector is called a free vector. The distinction between bound and free vectors is especially relevant in mechanics, where a force applied to a body has a point of contact (see resultant force and couple).
Two arrows and in space represent the same free vector if they have the same magnitude and direction: that is, they are equipollent if the quadrilateral ABB′A′ is a parallelogram. If the Euclidean space is equipped with a choice of origin, then a free vector is equivalent to the bound vector of the same magnitude and direction whose initial point is the origin.
The term vector also has generalizations to higher dimensions, and to more formal approaches with much wider applications.
A Euclidean vector is thus an equivalence class of directed segments with the same magnitude (e.g., the length of the line segment ) and same direction (e.g., the direction from to ). In physics, Euclidean vectors are used to represent physical quantities that have both magnitude and direction, but are not located at a specific place, in contrast to scalars, which have no direction. For example, velocity, and acceleration are represented by vectors.
In modern geometry, Euclidean spaces are often defined from linear algebra. More precisely, a Euclidean space is defined as a set to which is associated an inner product space of finite dimension over the reals and a group action of the additive group of which is free action and transitive (See Affine space for details of this construction). The elements of are called translations. It has been proven that the two definitions of Euclidean spaces are equivalent, and that the equivalence classes under equipollence may be identified with translations.
Sometimes, Euclidean vectors are considered without reference to a Euclidean space. In this case, a Euclidean vector is an element of a normed vector space of finite dimension over the reals, or, typically, an element of the real coordinate space equipped with the dot product. This makes sense, as the addition in such a vector space acts freely and transitively on the vector space itself. That is, is a Euclidean space, with itself as an associated vector space, and the dot product as an inner product.
The Euclidean space is often presented as the standard Euclidean space of dimension . This is motivated by the fact that every Euclidean space of dimension is isomorphism to the Euclidean space More precisely, given such a Euclidean space, one may choose any point as an origin. By Gram–Schmidt process, one may also find an orthonormal basis of the associated vector space (a basis such that the inner product of two basis vectors is 0 if they are different and 1 if they are equal). This defines Cartesian coordinates of any point of the space, as the coordinates on this basis of the vector These choices define an isomorphism of the given Euclidean space onto by mapping any point to the tuple of its Cartesian coordinates, and every vector to its coordinate vector.
In Cartesian coordinates, a free vector may be thought of in terms of a corresponding bound vector, in this sense, whose initial point has the coordinates of the origin . It is then determined by the coordinates of that bound vector's terminal point. Thus the free vector represented by (1, 0, 0) is a vector of unit length—pointing along the direction of the positive x-axis.
This coordinate representation of free vectors allows their algebraic features to be expressed in a convenient numerical fashion. For example, the sum of the two (free) vectors (1, 2, 3) and (−2, 0, 4) is the (free) vector
In a pseudo-Euclidean space, a vector's squared length can be positive, negative, or zero. An important example is Minkowski space (which is important to our understanding of special relativity).
However, it is not always possible or desirable to define the length of a vector. This more general type of spatial vector is the subject of (for free vectors) and (for bound vectors, as each represented by an ordered pair of "points"). One physical example comes from thermodynamics, where many quantities of interest can be considered vectors in a space with no notion of length or angle. Thermodynamics and Differential Forms
In pure mathematics, a vector is any element of a vector space over some field and is often represented as a coordinate vector. The vectors described in this article are a very special case of this general definition, because they are contravariant with respect to the ambient space. Contravariance captures the physical intuition behind the idea that a vector has "magnitude and direction".
Vectors are usually shown in graphs or other diagrams as arrows (directed ), as illustrated in the figure. Here, the point A is called the origin, tail, base, or initial point, and the point B is called the head, tip, endpoint, terminal point or final point. The length of the arrow is proportional to the vector's magnitude, while the direction in which the arrow points indicates the vector's direction.
On a two-dimensional diagram, a vector perpendicular to the plane of the diagram is sometimes desired. These vectors are commonly shown as small circles. A circle with a dot at its centre (Unicode U+2299 ⊙) indicates a vector pointing out of the front of the diagram, toward the viewer. A circle with a cross inscribed in it (Unicode U+2297 ⊗) indicates a vector pointing into and behind the diagram. These can be thought of as viewing the tip of an arrow head on and viewing the flights of an arrow from the back.
In order to calculate with vectors, the graphical representation may be too cumbersome. Vectors in an n-dimensional Euclidean space can be represented as coordinate vectors in a Cartesian coordinate system. The endpoint of a vector can be identified with an ordered list of n real numbers ( n-tuple). These numbers are the coordinates of the endpoint of the vector, with respect to a given Cartesian coordinate system, and are typically called the (or scalar projections) of the vector on the axes of the coordinate system.
As an example in two dimensions (see figure), the vector from the origin O = (0, 0) to the point A = (2, 3) is simply written as
The notion that the tail of the vector coincides with the origin is implicit and easily understood. Thus, the more explicit notation is usually deemed not necessary (and is indeed rarely used).
In three dimensional Euclidean space (or ), vectors are identified with triples of scalar components: also written,
This can be generalised to n-dimensional Euclidean space (or ).
These numbers are often arranged into a column vector or row vector, particularly when dealing with matrices, as follows:
Another way to represent a vector in n-dimensions is to introduce the standard basis vectors. For instance, in three dimensions, there are three of them: These have the intuitive interpretation as vectors of unit length pointing up the x-, y-, and z-axis of a Cartesian coordinate system, respectively. In terms of these, any vector a in can be expressed in the form:
or
where a1, a2, a3 are called the (or vector projections) of a on the basis vectors or, equivalently, on the corresponding Cartesian axes x, y, and z (see figure), while a1, a2, a3 are the respective (or scalar projections).
In introductory physics textbooks, the standard basis vectors are often denoted instead (or , in which the hat symbol typically denotes ). In this case, the scalar and vector components are denoted respectively ax, ay, az, and a x, a y, a z (note the difference in boldface). Thus,
The notation e i is compatible with the index notation and the summation convention commonly used in higher level mathematics, physics, and engineering.
The decomposition or resolutionGibbs, J.W. (1901). Vector Analysis: A Text-book for the Use of Students of Mathematics and Physics, Founded upon the Lectures of J. Willard Gibbs, by E.B. Wilson, Chares Scribner's Sons, New York, p. 15: "Any vector coplanar with two non-collinear vectors and may be resolved into two components parallel to and respectively. This resolution may be accomplished by constructing the parallelogram ..." of a vector into components is not unique, because it depends on the choice of the axes on which the vector is projected.
Moreover, the use of Cartesian unit vectors such as as a basis in which to represent a vector is not mandated. Vectors can also be expressed in terms of an arbitrary basis, including the unit vectors of a cylindrical coordinate system () or spherical coordinate system (). The latter two choices are more convenient for solving problems which possess cylindrical or spherical symmetry, respectively.
The choice of a basis does not affect the properties of a vector or its behaviour under transformations.
A vector can also be broken up with respect to "non-fixed" basis vectors that change their orientation as a function of time or space. For example, a vector in three-dimensional space can be decomposed with respect to two axes, respectively normal, and tangent to a surface (see figure). Moreover, the radial and tangential components of a vector relate to the radius of rotation of an object. The former is parallel to the radius and the latter is Perpendicular to it.
In these cases, each of the components may be in turn decomposed with respect to a fixed coordinate system or basis set (e.g., a global coordinate system, or inertial reference frame).
and
are opposite if
Two vectors are equidirectional (or codirectional) if they have the same direction but not necessarily the same magnitude.
Two vectors are parallel if they have either the same or opposite direction, but not necessarily the same magnitude; two vectors are antiparallel if they have strictly opposite direction, but not necessarily the same magnitude.
The addition may be represented graphically by placing the tail of the arrow b at the head of the arrow a, and then drawing an arrow from the tail of a to the head of b. The new arrow drawn represents the vector a + b, as illustrated below:
This addition method is sometimes called the parallelogram rule because a and b form the sides of a parallelogram and a + b is one of the diagonals. If a and b are bound vectors that have the same base point, this point will also be the base point of a + b. One can check geometrically that a + b = b + a and ( a + b) + c = a + ( b + c).
The difference of a and b is
Subtraction of two vectors can be geometrically illustrated as follows: to subtract b from a, place the tails of a and b at the same point, and then draw an arrow from the head of b to the head of a. This new arrow represents the vector (-b) + a, with (-b) being the opposite of b, see drawing. And (-b) + a = a − b.
Intuitively, multiplying by a scalar r stretches a vector out by a factor of r. Geometrically, this can be visualized (at least in the case when r is an integer) as placing r copies of the vector in a line where the endpoint of one vector is the initial point of the next vector.
If r is negative, then the vector changes direction: it flips around by an angle of 180°. Two examples ( r = −1 and r = 2) are given below:
Scalar multiplication is Distributivity over vector addition in the following sense: r( a + b) = r a + rb for all vectors a and b and all scalars r. One can also show that a − b = a + (−1) b.
The length of the vector a can be computed with the Euclidean norm,
which is a consequence of the Pythagorean theorem since the basis vectors e1, e2, e3 are orthogonal unit vectors.
This happens to be equal to the square root of the dot product, discussed below, of the vector with itself:
To normalize a vector , scale the vector by the reciprocal of its length ‖ a‖. That is:
where θ is the measure of the angle between a and b (see trigonometric function for an explanation of cosine). Geometrically, this means that a and b are drawn with a common start point, and then the length of a is multiplied with the length of the component of b that points in the same direction as a.
The dot product can also be defined as the sum of the products of the components of each vector as
where θ is the measure of the angle between a and b, and n is a unit vector perpendicular to both a and b which completes a Right-hand rule system. The right-handedness constraint is necessary because there exist two unit vectors that are perpendicular to both a and b, namely, n and (− n).
The cross product a × b is defined so that a, b, and a × b also becomes a right-handed system (although a and b are not necessarily orthogonal). This is the right-hand rule.
The length of a × b can be interpreted as the area of the parallelogram having a and b as sides.
The cross product can be written as
For arbitrary choices of spatial orientation (that is, allowing for left-handed as well as right-handed coordinate systems) the cross product of two vectors is a pseudovector instead of a vector (see below).
It has three primary uses. First, the absolute value of the box product is the volume of the parallelepiped which has edges that are defined by the three vectors. Second, the scalar triple product is zero if and only if the three vectors are linearly dependent, which can be easily proved by considering that in order for the three vectors to not make a volume, they must all lie in the same plane. Third, the box product is positive if and only if the three vectors a, b and c are right-handed.
In components ( with respect to a right-handed orthonormal basis), if the three vectors are thought of as rows (or columns, but in the same order), the scalar triple product is simply the determinant of the 3-by-3 matrix having the three vectors as rows
The scalar triple product is linear in all three entries and anti-symmetric in the following sense:
The scalar components in the e basis are, by definition,
In another orthonormal basis n = { n1, n2, n3} that is not necessarily aligned with e, the vector a is expressed as
and the scalar components in the n basis are, by definition,
The values of p, q, r, and u, v, w relate to the unit vectors in such a way that the resulting vector sum is exactly the same physical vector a in both cases. It is common to encounter vectors known in terms of different bases (for example, one basis fixed to the Earth and a second basis fixed to a moving vehicle). In such a case it is necessary to develop a method to convert between bases so the basic vector operations such as addition and subtraction can be performed. One way to express u, v, w in terms of p, q, r is to use column matrices along with a direction cosine matrix containing the information that relates the two bases. Such an expression can be formed by substitution of the above equations to form
Distributing the dot-multiplication gives
Replacing each dot product with a unique scalar gives
and these equations can be expressed as the single matrix equation
This matrix equation relates the scalar components of a in the n basis ( u, v, and w) with those in the e basis ( p, q, and r). Each matrix element c jk is the direction cosine relating n j to e k. The term direction cosine refers to the cosine of the angle between two unit vectors, which is also equal to their dot product. Therefore,
By referring collectively to e1, e2, e3 as the e basis and to n1, n2, n3 as the n basis, the matrix containing all the c jk is known as the "transformation matrix from e to n", or the "rotation matrix from e to n" (because it can be imagined as the "rotation" of a vector from one basis to another), or the "direction cosine matrix from e to n" (because it contains direction cosines). The properties of a rotation matrix are such that its matrix inverse is equal to its matrix transpose. This means that the "rotation matrix from e to n" is the transpose of "rotation matrix from n to e".
The properties of a direction cosine matrix, C are:
The advantage of this method is that a direction cosine matrix can usually be obtained independently by using Euler angles or a quaternion to relate the two vector bases, so the basis conversions can be performed directly, without having to work out all the dot products described above.
By applying several matrix multiplications in succession, any vector can be expressed in any basis so long as the set of direction cosines is known relating the successive bases.
The cross product does not readily generalise to other dimensions, though the closely related exterior product does, whose result is a bivector. In two dimensions this is simply a pseudoscalar
A seven-dimensional cross product is similar to the cross product in that its result is a vector orthogonal to the two arguments; there is however no natural way of selecting one of the possible such products.
Given two points x = ( x1, x2, x3), y = ( y1, y2, y3) their displacement is a vector
which specifies the position of y relative to x. The length of this vector gives the straight-line distance from x to y. Displacement has the dimensions of length.
The velocity v of a point or particle is a vector, its length gives the speed. For constant velocity the position at time t will be
where x0 is the position at time t = 0. Velocity is the time derivative of position. Its dimensions are length/time.
Acceleration a of a point is vector which is the time derivative of velocity. Its dimensions are length/time2.
Work is the dot product of force and displacement
In the language of differential geometry, the requirement that the components of a vector transform according to the same matrix of the coordinate transition is equivalent to defining a contravariant vector to be a tensor of contravariant rank one. Alternatively, a contravariant vector is defined to be a tangent space, and the rules for transforming a contravariant vector follow from the chain rule.
Some vectors transform like contravariant vectors, except that when they are reflected through a mirror, they flip gain a minus sign. A transformation that switches right-handedness to left-handedness and vice versa like a mirror does is said to change the orientation of space. A vector which gains a minus sign when the orientation of space changes is called a pseudovector or an axial vector. Ordinary vectors are sometimes called true vectors or polar vectors to distinguish them from pseudovectors. Pseudovectors occur most frequently as the cross product of two ordinary vectors.
One example of a pseudovector is angular velocity. Driving in a car, and looking forward, each of the has an angular velocity vector pointing to the left. If the world is reflected in a mirror which switches the left and right side of the car, the reflection of this angular velocity vector points to the right, but the angular velocity vector of the wheel still points to the left, corresponding to the minus sign. Other examples of pseudovectors include magnetic field, torque, or more generally any cross product of two (true) vectors.
This distinction between vectors and pseudovectors is often ignored, but it becomes important in studying symmetry properties.
Addition and subtraction
Scalar multiplication
Length
Unit vector
Zero vector
Dot product
Cross product
Scalar triple product
Conversion between multiple Cartesian bases
Other dimensions
Physics
Length and units
Vector-valued functions
Position, velocity and acceleration
Force, energy, work
Vectors, pseudovectors, and transformations
See also
Notes
Mathematical treatments
Physical treatments
External links
|
|